Polynomial induction and the restriction problem

We construct the polynomial induction functor, which is right adjoint to restriction functor from category of representations a general linear group its Weyl group. This construction leads representation-theoretic proof Littlewood’s plethystic formula for multiplicity an irreducible representation symmetric in such restriction. The unimodality certain bipartite partition functions follows.